$\forall$$b$:$\mathbb{N}$, $f$:(\{0..$b$$^{-}$\}$\rightarrow\mathbb{B}$).
\\[0ex]($\exists$$n$:\{0..$b$$^{-}$\}. ($\uparrow$($f$($n$))))
\\[0ex]$\Rightarrow$ \{mu($f$) $\in$ \{0..$b$$^{-}$\} \& ($\uparrow$($f$(mu($f$)))) \& ($\forall$$i$:\{0..$b$$^{-}$\}. ($i$ $<$ mu($f$)) $\Rightarrow$ ($\neg$($\uparrow$($f$($i$)))))\}